Théorème du toit

\mathcal{P_1}

\mathcal{P_2}

\mathcal{D_1}

\mathcal{D_2}

\Delta

D = (-5.509746128271007, -1.2706077191134781, 0.6087757034517232)
E = (2.0096457455425947, -1.5011582488572657, 0.426142992416207)
F = (2.804119605636558, 0.9675515414966407, 1)
G = (1.093536668660719, 1.0442145460021912, 2.7597831889811477)
a = Plane(E, D, F)
D2: (x(D), y(D), z(D) + z(G))
b = Plane(D, F, G)
f = IntersectPath(b, a)
g = Line(G, f)
h = Line(E, f)